Sagiv, Mooly: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work

Greta Yorsh, Alexey Skidanov, Thomas Reps, Mooly Sagiv

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 370 KB

english, 2005

2

Parametric shape analysis via 3-valued logic

Sagiv, Mooly, Reps, Thomas, Wilhelm, Reinhard

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2002

Language:

english

File:

PDF, 1.05 MB

english, 2002

3

Kleene's Logic with Equality

Flemming Nielson, Hanne Riis Nielson, Mooly Sagiv

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 90 KB

english, 2001

4

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - Solving shape-analysis problems in languages with destructive updating

Sagiv, Mooly, Reps, Thomas, Wilhelm, Reinhard

Year:

1996

Language:

english

File:

PDF, 1.69 MB

english, 1996

5

Paxos made EPR: decidable reasoning about distributed protocols

Padon, Oded, Losa, Giuliano, Sagiv, Mooly, Shoham, Sharon

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 1.22 MB

english, 2017

6

Decidable fragments of many-sorted logic

Aharon Abadi, Alexander Rabinovich, Mooly Sagiv

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 851 KB

english, 2010

7

Speeding up slicing

Reps, Thomas, Horwitz, Susan, Sagiv, Mooly, Rosay, Genevieve

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1994

Language:

english

File:

PDF, 935 KB

english, 1994

8

Solving shape-analysis problems in languages with destructive updating

Sagiv, Mooly, Reps, Thomas, Wilhelm, Reinhard

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1998

Language:

english

File:

PDF, 687 KB

english, 1998

9

Verifying safety properties of concurrent heap-manipulating programs

Yahav, Eran, Sagiv, Mooly

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2010

Language:

english

File:

PDF, 1.12 MB

english, 2010

10

[ACM Press the ACM SIGPLAN 2001 conference - Snowbird, Utah, United States (2001..-..)] Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01 - Heap profiling for space-efficient Java

Shaham, Ran, Kolodner, Elliot K., Sagiv, Mooly

Year:

2001

Language:

english

File:

PDF, 1.45 MB

english, 2001

11

Specifying and verifying sparse matrix codes

Arnold, Gilad, Hölzl, Johannes, Köksal, Ali Sinan, Bodík, Rastislav, Sagiv, Mooly

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 456 KB

english, 2010

12

Finite differencing of logical formulas for static analysis

Reps, Thomas, Sagiv, Mooly, Loginov, Alexey

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2010

Language:

english

File:

PDF, 1.66 MB

english, 2010

13

Demand interprocedural dataflow analysis

Horwitz, Susan, Reps, Thomas, Sagiv, Mooly

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1995

Language:

english

File:

PDF, 1.28 MB

english, 1995

14

[ACM Press the International Symposium - Portland, Oregon, United States (2000.08.21-2000.08.24)] Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 - Putting static analysis to work for verification

Lev-Ami, Tal, Reps, Thomas, Sagiv, Mooly, Wilhelm, Reinhard

Year:

2000

Language:

english

File:

PDF, 501 KB

english, 2000

15

[ACM Press the 26th ACM SIGPLAN-SIGACT symposium - San Antonio, Texas, United States (1999.01.20-1999.01.22)] Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 - Parametric shape analysis via 3-valued logic

Sagiv, Mooly, Reps, Thomas, Wilhelm, Reinhard

Year:

1999

Language:

english

File:

PDF, 2.19 MB

english, 1999

16

[ACM Press the 39th ACM SIGPLAN Conference - Philadelphia, PA, USA (2018.06.18-2018.06.22)] Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 - Modularity for decidability of deductive verification with applications to distributed systems

Taube, Marcelo, Losa, Giuliano, McMillan, Kenneth L., Padon, Oded, Sagiv, Mooly, Shoham, Sharon, Wilcox, James R., Woos, Doug

Year:

2018

Language:

english

File:

PDF, 401 KB

english, 2018

17

Precise interprocedural dataflow analysis with applications to constant propagation

Mooly Sagiv, Thomas Reps, Susan Horwitz

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 2.75 MB

english, 1996

18

Putting static analysis to work for verification

Lev-Ami, Tal, Reps, Thomas, Sagiv, Mooly, Wilhelm, Reinhard

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 501 KB

english, 2000

19

A relational approach to interprocedural shape analysis

Jeannet, Bertrand, Loginov, Alexey, Reps, Thomas, Sagiv, Mooly

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2010

Language:

english

File:

PDF, 1.01 MB

english, 2010

20

[ACM Press the ACM international conference - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 - A dynamic evaluation of the precision of static heap abstractions

Liang, Percy, Tripp, Omer, Naik, Mayur, Sagiv, Mooly

Year:

2010

Language:

english

File:

PDF, 629 KB

english, 2010

21

[ACM Press the 2006 international symposium - Portland, Maine, USA (2006.07.17-2006.07.20)] Proceedings of the 2006 international symposium on Software testing and analysis - ISSTA'06 - Testing, abstraction, theorem proving

Yorsh, Greta, Ball, Thomas, Sagiv, Mooly

Year:

2006

Language:

english

File:

PDF, 450 KB

english, 2006

22

Self-stabilization preserving compiler

Dolev, Shlomi, Haviv, Yinnon, Sagiv, Mooly

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2009

Language:

english

File:

PDF, 1.27 MB

english, 2009

23

Heap profiling for space-efficient Java

Shaham, Ran, Kolodner, Elliot K., Sagiv, Mooly

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 1.45 MB

english, 2001

24

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Decentralizing SDN Policies

Padon, Oded, Immerman, Neil, Karbyshev, Aleksandr, Lahav, Ori, Sagiv, Mooly, Shoham, Sharon

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

25

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3444 || Enforcing Resource Bounds via Static Verification of Dynamic Checks

Year:

2005

Language:

english

File:

PDF, 180 KB

english, 2005

26

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3444 || Adjoining Declassification and Attack Models by Abstract Interpretation

Year:

2005

File:

PDF, 255 KB

2005

27

Establishing local temporal heap safety properties with applications to compile-time memory management

Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 370 KB

english, 2005

28

Automatic fine-grain locking using shape properties

Golan-Gueta, Guy, Bronson, Nathan, Aiken, Alex, Ramalingam, G., Sagiv, Mooly, Yahav, Eran

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 993 KB

english, 2011

29

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3444 ||

Year:

2005

Language:

english

File:

PDF, 3.93 MB

english, 2005

30

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Concurrent libraries with foresight

Golan-Gueta, Guy, Ramalingam, G., Sagiv, Mooly, Yahav, Eran

Year:

2013

Language:

english

File:

PDF, 1.87 MB

english, 2013

31

A logic-based approach to program flow analysis

Mooly Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm

Journal:

Acta Informatica

Year:

1998

Language:

english

File:

PDF, 519 KB

english, 1998

32

A logic of reachable patterns in linked data-structures

Greta Yorsh, Alexander Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 591 KB

english, 2007

33

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Concurrent data representation synthesis

Hawkins, Peter, Aiken, Alex, Fisher, Kathleen, Rinard, Martin, Sagiv, Mooly

Year:

2012

Language:

english

File:

PDF, 676 KB

english, 2012

34

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Thread-modular shape analysis

Gotsman, Alexey, Berdine, Josh, Cook, Byron, Sagiv, Mooly

Year:

2007

Language:

english

File:

PDF, 292 KB

english, 2007

35

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Abstractions from tests

Naik, Mayur, Yang, Hongseok, Castelnuovo, Ghila, Sagiv, Mooly

Year:

2012

Language:

english

File:

PDF, 893 KB

english, 2012

36

Finding circular attributes in attribute grammars

Rodeh, Michael, Sagiv, Mooly

Journal:

Journal of the ACM

Year:

1999

Language:

english

File:

PDF, 190 KB

english, 1999

37

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Field-sensitive program dependence analysis

Litvak, Shay, Dor, Nurit, Bodik, Rastislav, Rinetzky, Noam, Sagiv, Mooly

Year:

2010

Language:

english

File:

PDF, 437 KB

english, 2010

38

Synthesis of circular compositional program proofs via abduction

Dillig, Isil, Dillig, Thomas, Li, Boyang, McMillan, Ken, Sagiv, Mooly

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 640 KB

english, 2015

39

Decentralizing SDN Policies

Padon, Oded, Immerman, Neil, Karbyshev, Aleksandr, Lahav, Ori, Sagiv, Mooly, Shoham, Sharon

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

40

Turning nondeterminism into parallelism

Tripp, Omer, Koskinen, Eric, Sagiv, Mooly

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 766 KB

english, 2013

41

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Composing concurrency control

Ziv, Ofri, Aiken, Alex, Golan-Gueta, Guy, Ramalingam, G., Sagiv, Mooly

Year:

2015

Language:

english

File:

PDF, 363 KB

english, 2015

42

[ACM Press the 19th ACM SIGPLAN symposium - Orlando, Florida, USA (2014.02.15-2014.02.19)] Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '14 - Automatic semantic locking

Golan-Gueta, Guy, Ramalingam, G., Sagiv, Mooly, Yahav, Eran

Year:

2014

Language:

english

File:

PDF, 455 KB

english, 2014

43

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - VeriCon

Ball, Thomas, Bjørner, Nikolaj, Gember, Aaron, Itzhaky, Shachar, Karbyshev, Aleksandr, Sagiv, Mooly, Schapira, Michael, Valadarsky, Asaf

Year:

2013

Language:

english

File:

PDF, 446 KB

english, 2013

44

VeriCon

Ball, Thomas, Bjørner, Nikolaj, Gember, Aaron, Itzhaky, Shachar, Karbyshev, Aleksandr, Sagiv, Mooly, Schapira, Michael, Valadarsky, Asaf

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 446 KB

english, 2014

45

[ACM Press the 16th Workshop - Whistler, BC, Canada (2017.05.07-2017.05.10)] Proceedings of the 16th Workshop on Hot Topics in Operating Systems - HotOS '17 - Verification in the Age of Microservices

Panda, Aurojit, Sagiv, Mooly, Shenker, Scott

Year:

2017

Language:

english

File:

PDF, 189 KB

english, 2017

46

[ACM Press the tenth ACM SIGPLAN symposium - Chicago, IL, USA (2005.06.15-2005.06.17)] Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05 - Scaling model checking of dataraces using dynamic information

Shacham, Ohad, Sagiv, Mooly, Schuster, Assaf

Year:

2005

Language:

english

File:

PDF, 244 KB

english, 2005

47

Deriving specialized program analyses for certifying component-client conformance

Ramalingam, G., Warshavsky, Alex, Field, John, Goyal, Deepak, Sagiv, Mooly

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 155 KB

english, 2002

48

[ACM Press the 3rd ACM SIGSOFT symposium - Washington, D.C., United States (1995.10.12-1995.10.15)] Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 - Demand interprocedural dataflow analysis

Horwitz, Susan, Reps, Thomas, Sagiv, Mooly

Year:

1995

Language:

english

File:

PDF, 1.28 MB

english, 1995

49

On effectiveness of GC in Java

Shaham, Ran, Kolodner, Elliot K., Sagiv, Mooly

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 867 KB

english, 2001

50

Testing atomicity of composed concurrent operations

Shacham, Ohad, Bronson, Nathan, Aiken, Alex, Sagiv, Mooly, Vechev, Martin, Yahav, Eran

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 998 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски